﻿#define _CRT_SECURE_NO_WARNINGS
//给定一个用整数表示的时间，请将这个时间对应的时分秒输出。
//
//输入描述
//输入一行包含一个整数，表示时间。
//
//输出描述
//输出时分秒表示的当前时间，格式形如 HH : MM:SS，其中 HH 表示时，值为
//0​​​​ 到23​​​​，MM 表示分，值为0​​​​ 到59​​​，SS 表示秒，值为0​​ 到59​。时、分、秒 
//不足两位时补前导0。
#include<stdio.h>
int main()
{
	long long n;
	scanf("%lld",&n);//注意是lld
	n /= 1000;
	int ss = n % 60;
	n /= 60;
	int mm = n % 60;
	n /= 60;
	int hh = n % 24;
	printf("%02d:%02d:%02d",hh,mm,ss);
}